Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท11hยท
Discuss: DEV
๐ŸššData Migration
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Verification
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท8hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
APRS over LoRa with RNode | unsigned.io
unsigned.ioยท8h
๐Ÿ“ปHomebrew Protocols
Metasploit Wrap Up 10/09/2025
rapid7.comยท22h
๐Ÿ›ก๏ธeBPF Security
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
We built AI that auto-checks building plans
planchecksolver.comยท2hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Vulnerability Management โ€“ Requirements, Scoping & Target Setting
blog.nviso.euยท1d
๐Ÿ”Capability Systems
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.comยท2d
๐ŸงชBinary Fuzzing
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท2h
๐Ÿ”€XSLT
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Day I Hacked XCTrack
blog.syrac.orgยท4hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology